widget: Remove text-handle-width/height style properties

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index df8e06b4b1d1bc60df715c1d3c4371f4f6078243..4d60848943d81d94fa66e5dead881d780d8b5400 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3283,20 +3283,6 @@ gtk_widget_class_init (GtkWidgetClass *klass)
                                                                  FALSE,
                                                                  GTK_PARAM_READABLE));
 
-
-  gtk_widget_class_install_style_property (klass,
-                                           g_param_spec_int ("text-handle-width",
-                                                             P_("Width of text selection handles"),
-                                                             P_("Width of text selection handles"),
-                                                             1, G_MAXINT, 16,
-                                                             GTK_PARAM_READABLE));
-  gtk_widget_class_install_style_property (klass,
-                                           g_param_spec_int ("text-handle-height",
-                                                             P_("Height of text selection handles"),
-                                                             P_("Height of text selection handles"),
-                                                             1, G_MAXINT, 20,
-                                                             GTK_PARAM_READABLE));
-
   gtk_widget_class_set_accessible_type (klass, GTK_TYPE_WIDGET_ACCESSIBLE);
   gtk_widget_class_set_css_name (klass, "widget");
 }